Mathematics and Computing - PDFSEARCH.IO - Document Search Engine

Mathematics and Computing
Results: 2535

#	Item
741	Journal of Computer Security–721 IOS Press 677 A compositional logic for proving security properties of Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-12-15 20:24:55 Logic Computing Mathematics Theoretical computer science Burrows–Abadi–Needham logic Free variables and bound variables Π-calculus Needham–Schroeder protocol Applied mathematics Cryptographic protocols Cryptography Predicate logic
742	Introduction The Algorithm Application and Conclusion A Minimal Periods Algorithm with Applications Zhi Xu Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2010-08-20 17:45:28 Mathematics Computing Logic Mathematical logic Suffix tree Algorithm
743	Path- and Index-sensitive String Analysis Based on Monadic Second-order Logic Add to Reading List Source URL: researcher.ibm.com Language: English - Date: 2013-10-05 22:24:24 Computing Mathematical logic String Comparison of programming languages Context-free grammar Well-formed formula Trimming Rope Algorithm Formal languages Mathematics Logic
744	PROBABILITY MODELS FOR ECONOMIC DECISIONS Chapter 1: Simulation and Conditional Probability The difficulties of decision-making under uncertainty are familiar to everyone. We all regularly have to make decisions where we Add to Reading List Source URL: home.uchicago.edu Language: English - Date: 2003-07-09 12:29:44 Microsoft Excel Numbers Mathematics Formula Random variable Expected value Computing Lotus Improv Software Spreadsheet Randomness
745	SIAMBook Catalog IndexBook Catalog Index Accuracy Accuracy and Reliability in Scientific Computing (Einarsson), 7 Accuracy and Stability of Numerical Algorithms, Second Edition (Higham), 14 Add to Reading List Source URL: siam.org Language: English - Date: 2012-06-28 22:17:18 Mathematical optimization Operations research Computational science Society for Industrial and Applied Mathematics Numerical analysis Optimal control Discrete mathematics Differential equation Mathematical and theoretical biology Mathematics Science Applied mathematics
746	Database and Artificial Intelligence Group Institute of Information Systems Technische Universität Wien Using Graph Matching Techniques to Wrap Data Add to Reading List Source URL: www2006.org Language: English - Date: 2006-09-05 12:43:02 Portable Document Format HTML element Mathematics Computing Graph theory Graph
747	A Universal Innocent Game Model for the B¨ ohm Tree Lambda Theory Andrew D. Ker, Hanno Nickau, and C.-H. Luke Ong Computing Laboratory, Parks Road, Oxford OX1 3QD, UK, {Andrew.Ker, Hanno.Nickau, Luke.Ong}@comlab.ox.ac.u Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-07-16 07:23:06 Computability theory Lambda calculus Theoretical computer science Determinacy Support Applied mathematics Computer science Decomposition of spectrum Models of computation Spectral theory Mathematics
748	Sharper Upper and Lower Bounds for an Approximation Scheme for Consensus-Pattern Ian Harrower School of Computer Science University of Waterloo Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2005-07-08 16:21:37 Approximation algorithm Computational complexity theory Substring Computing Hamming distance Optimization problem Mathematics Theoretical computer science String
749	Chapter 7 Maps between trees This chapter describes tree mapping routines in COMPONENT. These routines allow you to map gene trees onto species trees, parasite phylogenies onto host phylogenies, and taxon cladograms onto Add to Reading List Source URL: taxonomy.zoology.gla.ac.uk Language: English - Date: 2007-07-24 12:38:38 Data management Tree Phylogenetic tree T-tree Cladistics Splay tree Mathematics Computing Binary trees Phylogenetics B-tree
750	Welcome to Sydney We are pleased to welcome you all to Sydney for the Tenth International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientiﬁc Computing. The MCQMC conference series has become the maj Add to Reading List Source URL: www.mcqmc2012.unsw.edu.au Language: English - Date: 2012-01-27 09:26:14 Numerical analysis Quasi-Monte Carlo method Monte Carlo method Probability and statistics Mathematics Applied mathematics

UPDATE